Deduction相关论文
For the problem of propositional satisfiability a polynomial algorithm of limited propositional deduction is proposed wh......
This paper proposes a new public-key encryption scheme which removes one element from the public-key tuple of the origin......
针对“两角差的余弦公式的推导”这节课的核心内容,进行了一次有意义的磨课:观摩学习,组内研讨,实践检验。
In view of the deriv......
...
归扣是为了兼顾共同继承人间的公平,在分割遗产时将参与继承之继承人所受的由被继承人生前作出的无偿性赠与归入遗产总额,并从该继......
[摘要]尽管旅游哲学研究兴趣已经出现十余年（据保守估计），但是关于旅游哲学到底是什么，我们还缺乏深入的理解。该研究从演绎、归纳与融......
有些逻辑推理题难解如谜,可以运用常规推理法、辨识真假法、有无制表法、强弱列式法、直观图示法、传递排序法、数学推理法、排除......
本文试从网络与韵味、形式与表演、标题与演绎、趣味与效应等四个方面对民族音乐表演中存在的若干倾向与问题进行了分析和探讨,并......
分析了中厚板的轧制过程,建立了变形方程,推导了中厚板轧制展宽新公式。该公式反映了中厚板各轧制阶段间钢板尺寸的关系,其计算精......
本文拟从三个方面对科学发现的溯因模式作一系统探讨:概念的提出及其基本模式;从溯因模式与归纳、演绎模式的区别看溯因推理模式的......
Application of CPD in Analyzing EM Field in Stratified Media with an Uniform Plane Wave Slanted Thro
...
本文阐述了基于渗碳专家系统的问题求解策略，为了避免系统的主观性和片面性，提出用多黑板作为问题的求解策略，使其非公认的渗碳领域问......
允诺禁反言是英美契约法中的一项重要规则，是衡平法对普通法中的因理论苛刻性的救济，但约因仍然是契约的基础，允诺禁反言具有严格的适......
基于面向对象的建模方法，以煤炭码头生产系统为研究对象，在系统仿真软件Simio的环境下建立码头生产作业计划仿真推演平台。该平台基......
旨在探讨话语联系语（discourse connectives）以及话语联系语在语境和语境假设中存在的理据。根据Sperber和Wilson的关联理论,多层面......
玄奘开创的汉传因明忠实地弘扬了陈那因明体系,唐疏成为准确打开陈那因明逻辑体系的一把钥匙。陈那因明是论辩逻辑,其学科性质决定......
存在图逻辑理论能够在形式逻辑和科学实践中架起一座理论应用于实践的桥梁。在创作分析性、说理性文章的实践过程中,提出问题、梳......
该文结合人类过往的发明历史,把握发明的主线概念,抓住发明的典型案例,阐述发明的原理,逐步给出发明相关的重要推论。......
从空间隐喻、结构隐喻和实体隐喻三方面对Lakoff的概念隐喻理论进行分析，并揭示英语隐喻意义产生的演算过程。......
博尔赫斯有着反复解拆同一主题或题材的喜好,时自我主题的不断衍示就是一例.比之于他的其它小说,三篇自我主题的小说却不是一味沉......
给出并证明了凸函数的两个充要条件，并由此推出凸函数的两个重要推论。...
康德的想象力作为感性与知性的中介既是一种综合的能力,同时也与先验自我的本源统一相勾连.在A版演绎中,想象力更多的是表现一种经......
金岳霖归纳思想的发展过程是从注重归纳到对归纳的动摇与困惑，再到对归纳问题的解决（逻辑论证与哲学批判），最后联系演绎理解归纳。导致......
本文从归纳和演绎的特点出发，指出归纳和演绎并不能保证科学知识的确定性。科学的作用就在于提供信仰的同时，给予我们一种怀疑的精神......
本文建立了时态逻辑演算。在该演算系统下,若能证明一程序抽象成的时态逻辑公式是定理,则该程序是完全正确的。......
通过介绍和分析社会学中的演绎逻辑,提出演绎逻辑在社会学理论检验过程中具有假设推演的重要作用,这同它在自然科学中扩充知识的功......
本文依据运动解剖学学科特点，在传统教学的基础上，提出概念形成的基本途径，主要包括：①形成解剖概念；②形成功能概念；③采用归纳法完成解......
文学是感知的抽象，音乐是感受的抽象，其情感的互通性，使得二者往往相互依存。应从中国音乐中的文学入手，从音乐作品的创作与声乐作品内......
在命题演算系统中 ,由于演绎定理的运用,演绎序列通常都会较为简单,而证明中只能使用公理和MP规则,因而证明的步骤较为复杂。而且,......
本文提出了一个动态、可扩展的短媒体数据模型，该模型定义了一套多媒体信息的组织管理方法，可以以灵活、动态的结构来表达复杂的多媒......
导出了盐酸滴定碱的线性方程简化式,应用于测定稀的极弱碱、多元碱、强弱碱混合液及抗酸药碳酸氢钠片的含量,不需要极弱碱的稳定常......
依爱因斯坦的观，最，逻辑全等于演绎，与归纳并为西方科学的两大成就。认同爱因斯坦的逻辑观，试从“划界”的视角寻求根据。演绎和归纳的......
在大众传播学中，身体界面指被编码在直接与受众相遇的信息接触面中的身体影像或身体图形。身体是当今电子媒介的重要媒介。简单抽样......
文章揭示了石家庄学院图书馆11年来的主题表演方面的阅读推广实践,概括起来就是:通过读者阅读经验的分享、推广,以读者为主体,反映......
教学论存在两种状况，一种侧重“文本”研究，另一种是“回归教学生活”的事实研究。教学现象及其规律存在于课堂教学之中，而不是存在于......
人类对发展问题的研究由来已久.发展中国家研究发展问题,必须要结合本国国情,发挥理论对实践的指导作用.我国创立的科学发展观,深......
过去十年是中国女子网球快速发展时期，涌现出了一大批优秀女子网球选手。采用文献资料法、逻辑分析法等研究方法对过去十年中国女子......
<工程结构裂缝控制>一书中"混凝土温度收缩应力基本公式"推导过程有误.根据数学、力学理论给出了正确的推导.......
国内外一些物理化学教材对焦耳实验结果进行了分析推论，并应用到热力学第一定律，对于ｄＴ＝０的结果分析，其推论都概括为是由于等温过程，体系与......
对随机现象的认识需要相当的数学功底,针对本科学生如何在不能进行深入理论推导的前提下掌握基本的概率统计知识,如何在学完后仍能......
翻译所涉及的两个基本概念，即“源语”和“目的语”，或“出发语”和“到达语”，就是把翻译隐喻为“旅行”。现实中，人们的出行理想或原......
推定是指根据已知的事实，依照法律的规定，对未知的事实所进行的推理和确定。推定可分为刑事推定和民事推定、实体推定和程序推定、绝......
摘 要：斯特潘-玻尔兹曼定理是肤色系统中最为重要的定理之一，描述了辐射系统的能量密度和热力学温度之间的关系。同时，在大学物理之中......
近代西方哲学的奠基人笛卡尔提出获得真理的两种途径：一是通过直观，二是通过演绎。直观是用心灵去体验当下，而不是用语言去演绎，是心灵......
测不准关系式的常见导出模式大致可以分为三种类型，一是由电子的单缝衍射导出，一种是由量子力学中的特例导出，另一种就是由量子力学中......
